基于最少谓词思想的可达路径选择

对于结构测试中的不可达路径问题,仅仅使用传统的不可达路径排除方法存在很大的限制性,应用效果一般.积极选择可达路径的思想可有效减少不可达路径的产生.目前,基于最少谓词思想的路径生成方法得到广泛的认可.了解可达路径选择思想后,主要介绍一种基于数据流信息的,具体应用基本程序切片技术来生成可达路径的方法,该方法可生成几乎有最少谓词的路径,有较好效果.     

对公共领域结构转型批判的批判

哈贝马斯的《公共领域结构转型》自刊出至今引起广泛争议,包括欧洲的社会历史学家和非欧洲的社会历史学家都参与到讨论之中,安德列斯.盖斯特里希在总结各种争端的基础上,从五个方面对哈贝马斯的理论展开批判,并以卢曼的社会分化理论作为替代方案整合各种哈贝马斯理论中存在的困难,但是在解释公共领域时也存在深刻的问题,因此运在通信技术批判理论的框架对安德列斯.盖斯特里希的观点加以批判和建构是必要的。     

自动化电弧喷涂路径偏移间距的优化模型

基于电弧喷涂沉积丘的轮廓呈高斯分布的假设,并结合实验结果,建立了电弧喷涂沉积丘轮廓的数学模型,由此推导出了自动化喷涂过程中平行路径偏移间距这一重要参量的优化模型。该模型为合理规划自动化喷涂的路径提供了依据。     

机动管线水底穿越稳管方法探讨

机动管线水底穿越江河,裸管铺设在河床上,由于水流的作用,通常需要施加压载才能保持稳定.针对机动管线在水底的受力情况,研究管线受力的影响因素,探讨管线能够保持稳定的临界流速,并以DN150管线为例进行计算,得到管线需要施加压载稳管的临界流速;提出采用机动管线配备的管子和器材,以管线充水作为压载的稳管方法,并进行了理论分析...     

舰艇编队导弹航路规划仿真系统设计与实现

通过分析火力分配、区域划分、航路规划三者的关系,提出了舰艇编队导弹航路规划三位一体战术决策的思想.设计了一个以此为背景,基于高层体系结构(HLA)的可扩展、开放式仿真体系结构.依据HLA/RTI规范,设计开发了仿真联邦的联邦/仿真对象模型.基于系统的离散事件仿真特征,采用事件调度的仿真策略,利用Petri网建立了系统的...     

核裂变过程动态模拟计算的动力学系数

本文利用(c,h,a)三参数旋转体模型计算了形变核的相对表面能、相对库仑能及相对转动能。这些相对能量与具体核无关,具有普适性,可以用于核裂变动态过程的模拟计算。利用这些结果,计算了一些核的形变位能随三参数变化的情况,给出了裂变位垒高度,与实验结果符合较好。对~(236)U的形变位能曲面作了较详细的分析,得出一些有益的结论。用Werner—Wheeler方法计算了形变核的惯性质量和粘滞张量随三参数变化情况,对断点线方程作了深入讨论,为核裂变动态过程的计算机模拟准备了必要的系数。     

时序电路测试中敏化路径选择研究

时序电路测试产生过程中,在进行敏化路径选择时会遇到失败问题.本文针对迭代组合阵列模型测试中产生的这些问题进行了有益的探讨,并提出了改进的时序电路测试产生算法,使之更加完善.     

复杂系统的结构演变

考虑复杂性的一个侧面,从最简单的非线性方程出发,探讨战斗格局的结构演变和国防经费的良性循环,并通过这两个实例,揭示控制参数临界点的研究和度的把握,具有很大的理论意义和广泛的应用前景。     

正扰动下一类RN上临界增长的椭圆型方程的正解的存在性

本文讨论了如下方程:并得到了它的正解的存在性,其中g(x,U)为U~(P-1)的低阶扰动。它是文[1]的继续。